Nuprl Definition : list def
9,38
postcript
pdf
type
List is Primitive
latex
origin